Add CircleCI badge to manifest reference

rust-lang/crates.io#807

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index 4a5501f5126472da9a960927fd62311e83350f11..735d846358f1aee70501794472202d68016ac8f9 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -163,6 +163,8 @@ travis-ci = { repository = "...", branch = "master" }
 appveyor = { repository = "...", branch = "master", service = "github" }
 # GitLab: `repository` is required. `branch` is optional; default is `master`
 gitlab = { repository = "...", branch = "master" }
+# Circle CI: `repository` is required. `branch` is optiona; default is `master`
+circle-ci = { repository = "...", branch = "master" }
 # Is it maintained resolution time: `repository` is required.
 is-it-maintained-issue-resolution = { repository = "..." }
 # Is it maintained percentage of open issues: `repository` is required.